BeliefUpdates:
{messages(X)} IncMesCount() {not messages(X), messages(X+1)}

PC-rules:
message( A, inform, La, On, say(welles,C) ) <- other(B) |
{   
	send( B, inform, say(nietes,C+1) );
	IncMesCount()
}

message( A, inform, La, On, say(nietes,C) ) <- other(B) |
{   
	send( B, inform, say(welles,C+1) );
	IncMesCount()
}